Signals,timers, and continuations for multithreaded user‐level protocols

Precise timing and asynchronous I/O are appealing features for many applications. Unix kernels provide such features on a per‐process basis, using signals to communicate asynchronous events to applications. Per‐process signals and timers are grossly inadequate for complex multithreaded applications that require per‐thread signals and timers that operate at finer granularity. To respond to this need, we present a scheme that integrates asynchronous (Unix) signals with user‐level threads, using the ARIADNE system as a platform. This is done with a view towards support for portable, multithreaded, and multiprotocol distributed applications, namely the CLAM (connectionless, lightweight, and multiway) communications library. In the same context, we propose the use of continuations as an efficient mechanism for reducing thread context‐switching and busy‐wait overheads in multithreaded protocols. Our proposal for integrating timers and signal‐handling mechanisms not only solves problems related to race conditions, but also offers an efficient and flexible interface for timing and signalling threads. Copyright © 2006 John Wiley & Sons, Ltd.     

New unified laws in fatigue: From the Wöhler’s to the Paris’ regime

Generalizations and unification of the celebrated Paris’ and Wöhler’s laws for fatigue crack propagation are derived by applying the recently developed quantized (or finite) fracture mechanics. In particular, three generalized Paris’, Wöhler’s or unified laws are proposed and compared, demonstrating their applicability for predicting the life time of structures containing from small (the Wöhler’s regime) to large (the Paris’ regime) propagating fatigue cracks.     

Synthesis method for testable electrical networks using 1st order building blocks

This work presents a method for synthesizing testable continuous-time linear time-invariant electrical networks using 1st order blocks for the implementation of analog linear circuits. A functional-structural fault model for the block, and a fault dictionary are proposed together with a simple set of test vectors. The method allows, also, the fault grade evaluation for the modeled faults. The results obtained from the two application examples have shown the suitability of the approach as a design for test method for analog circuits.     

Comparative Coreflood Studies for Precipitation and Adsorption Squeeze with PPCA as the Scales Inhibitor

Comparative adsorption and precipitation squeezes carried out on field core materials demonstrate that significant lifetime enhancement is achievable for precipitation squeeze with respect to more conventional adsorption squeeze. Coreflood tests have been carried out under reservoir conditions (135°C) employing a poly-phosphinocarboxylate (PPCA) as the scales inhibitor. Field treatment simulations, carried out starting from coreflood data and considering the characteristics of a North Sea formation taken as the reference, confirmed the higher performance, in term of squeeze lifetime, of the precipitation squeeze with respect to adsorption. The results pointed out the importance of choosing the appropriate formulation once the operative conditions are known, in order to promote the inhibitor precipitation into the formation. Some implications of these results for the optimization of the precipitation squeeze technology for field applications, with particular emphasis to formation damage, are also discussed.     

Symbolic analysis of linear polyhedra

This paper concerns several analytical problems related to linear polyhedra in euclidean three-dimensional-space. Symbolic formulas for line, surface, and volume integration are given, and it is shown that domain integrals are computable in polynomial time. In particular, it is shown that mass, first and second moments, and products of inertia are computable inO(E) time, whereE is the number of edges of the boundary. Simple symbolic expressions for the normal derivatives of domain integrals are also derived. In particular, it is shown that they are closely linked to the topology of the integration domain, as well as that they are expressible as combinations of domain integrals over lower-order domains (faces, edges, and vertices). The symbolic results presented in this paper may lead to an easy incorporation of integral constraints, for example, concerning mass and inertia, in the engineering designing process of solid objects.     

First experiences of teaching quantum computing

The Journal of Supercomputing - Quantum computing is a reality that presents challenges to computer engineering students and practitioners. It has been claimed that it is possible to effectively...